Verifying bit-manipulations of floating-point
نویسندگان
چکیده
منابع مشابه
Precision Modeling and Bit-width Optimization of Floating-Point Applications
We present a floating-point precision modeling methodology that can be used to develop application adaptive arithmetic precision models for variable bitwidth floating-point computing. We also developed optimization algorithms that minimize the total bit-width for the application such that the output accuracy meets user-defined requirements. The methodology supports different bit-widths for diff...
متن کاملArchitectural Design of 8 Bit Floating Point Multiplication Unit
In the recent high speed processor, floating point ALU (FP ALU) is one of the important units to perform the arithmetic and logical functions of the floating point number. Floating point multiplication is one of the arithmetic operations that take more computational time and when implemented in hardware, it requires more area due to the large number of component. However the advantage of implem...
متن کاملChecking Compatibility of Bit Sizes in Floating Point Comparison Operations
We motivate, define and design a simple static analysis to check that comparisons of floating point values use compatible bit widths and thus compatible precision ranges. Precision mismatches arise due to the difference in bit widths of processor internal floating point registers (typically 80 or 64 bits) and their corresponding widths when stored in memory (64 or 32 bits). The analysis guarant...
متن کاملA Complementary GaAs 53-bit Parallel Array Floating Point Multiplier
A complementary gallium-arsenide (CGaAs) 53-bit parallel array floating point multiplier is presented. The design uses Motorola's 0.5µm C-GaAs process. A conventional Wallace tree of 42 compressors is used to generate the product terms and a dynamic Ling carry select adder is utilized in the final addition to form the final mantissa. An internal latch allows the design to use a two cycle pipeli...
متن کاملSine-Fitting Algorithms Implemented in 32-bit Floating Point Systems
1 Instituto de Telecomunicações, Department of Electrical and Computer Engineering, Instituto Superior Técnico, Technical University of Lisbon, Av. Rovisco Pais 1, 1049-001 Lisbon, Portugal Phone: +351-218418485; Fax: +351-218418472, e-mail: [email protected] 2 Instituto de Telecomunicações, Av. Rovisco Pais 1, 1049-001 Lisbon, Portugal e-mail: [email protected] 3 Instituto de Telecomunic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2016
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2980983.2908107